Deux expressions sont substituables salva veritate si elles peuvent être interchangées sans altérer la valeur de vérité des énoncés où elles apparaissent. Ce critère renvoie à la condition logique d`intersubstituabilité. La locution latine salva veritate se traduit littéralement par ?...